Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...